Rosenstolz - Irgendwo in Berlin: Das mini Musical